منابع مشابه
Subbases, Convex Sets, and Hyperspaces
S[ and Sg are then said to separate (or: to screen) S± and S2. Finally, Sf is called a binary subbase if each linked system S^ (zS^ (i.e., a subcollection S^' of ^ of which any two members meet) satisfies ς\Sf'φ 0. It is well-known that a binary subbase is TΊ (cf. van Mill [9, Lemma 1]), that a space carrying a binary subbase is compact (use Alexander's lemma), and that a space is completely re...
متن کاملA simple proof of Zariski's Lemma
Our aim in this very short note is to show that the proof of the following well-known fundamental lemma of Zariski follows from an argument similar to the proof of the fact that the rational field $mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.
متن کاملGeneralizations of Borel-Cantelli Lemma
The Borel-Cantelli Lemma is very important in the probability theory. In this paper, we first describe the general case of the Borel-Cantelli Lemma. The first part of this lemma, assuming convergence and the second part includes divergence and independence assumptions. In the following, we have brought generalizations of the first and second part of this lemma. In most generalizat...
متن کاملSperner's Lemma
In this article we introduce and prove properties of simplicial complexes in real linear spaces which are necessary to formulate Sperner's lemma. The lemma states that for a function f , which for an arbitrary vertex v of the barycentric subdivision B of simplex K assigns some vertex from a face of K which contains v, we can find a simplex S of B which satisfies f (S) = K (see [10]). The notati...
متن کاملBarendregt’s Lemma
Barendregt’s Lemma in its original form is a statement on Combinatory Logic that holds also for the lambda calculus and gives important insight into the syntactic interplay between substitution and reduction. Its origin lies in undefinablity proofs, but there are other applications as well. It is connected to the so-called Square Brackets Lemma, introduced by van Daalen in proofs of strong norm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1989
ISSN: 0002-9939
DOI: 10.2307/2046767